fix: work-around malformed all field in definitions#14

ammkrn wants to merge 1 commit intoleanprover:masterleanprover/lean4export:masterfrom

ammkrn:def_all_listammkrn/lean4export:def_all_listCopy head branch name to clipboard