Def PresentedMonoid

Modification history

2026-04-15 21:15

Mathlib/Algebra/PresentedMonoid/Basic.lean

chore: fix more leaky instances (#38089) …

Modified PresentedMonoid View on Github →

2024-11-04 09:56

Mathlib/Algebra/PresentedMonoid/Basic.lean

feat: presented monoids (#13152) …

Added PresentedMonoid View on Github →