Commit 2024-10-18 09:18 ec349bac

View on Github →

chore(PosPart): Make more lemmas simp (#17053)

Estimated changes

modified theorem oneLePart_eq_one
modified theorem oneLePart_one