Theorem Submonoid.square_toSubsemigroup

Modification history

2025-01-06 17:01
Mathlib/Algebra/Group/Subgroup/Even.lean
chore(Algebra): make more names consistent (#20449) …
Added Submonoid.square_toSubsemigroupView on Github →