Def Submonoid.pi

Modification history

2025-08-28 00:23

Mathlib/Algebra/Group/Subgroup/Basic.lean

feat(Algebra/Group): add theorems about `Submonoid.pi` (#28665) …

Modified Submonoid.pi View on Github →

2023-01-26 10:26

Mathlib/GroupTheory/Subgroup/Basic.lean

feat: port GroupTheory.Subgroup.Basic (#1797)

Added Submonoid.pi View on Github →