proof of concept: simp lemmas spawing subgoals#13358

datokrat wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

datokrat:paul/simp-side-conditionsdatokrat/lean4:paul/simp-side-conditionsCopy head branch name to clipboard