Theorem Submonoid.disjoint_def

Modification history

2024-05-31 00:19

Mathlib/Algebra/Group/Submonoid/Basic.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified Submonoid.disjoint_def View on Github →

2022-12-28 18:05

Mathlib/GroupTheory/Submonoid/Basic.lean

feat: port `GroupTheory/Submonoid/Basic` (#1224)

Added Submonoid.disjoint_def View on Github →