Commit 2025-11-21 13:53 6d74fdd4

View on Github →

chore(Algebra/Group/Defs): missing to_additive (#31890)

Estimated changes

modified theorem isLeftRegular_iff_isRegular