Theorem Subsemigroup.coe_inf

Modification history

2024-10-14 14:35

Mathlib/Algebra/Group/Subsemigroup/Basic.lean

chore(Group/Subsemigroup/Basic): split off Defs file (#17725) …

Modified Subsemigroup.coe_inf View on Github →

2022-12-26 12:39

Mathlib/GroupTheory/Subsemigroup/Basic.lean

Feat: port GroupTheory.Subsemigroup.Basic (#1180) …

Added Subsemigroup.coe_inf View on Github →