Skip to content

hint simplify registers one rule per conjunct of a lemma - #1110

Merged
strub merged 1 commit into
mainfrom
hint-simplify-conj
Sep 4, 2026
Merged

hint simplify registers one rule per conjunct of a lemma#1110
strub merged 1 commit into
mainfrom
hint-simplify-conj

Commits

  1. Commits on Sep 4, 2026