Theorem Submonoid.pi_empty

Modification history

2025-08-28 00:23
Mathlib/Algebra/Group/Submonoid/Operations.lean
feat(Algebra/Group): add theorems about `Submonoid.pi` (#28665) …
Added Submonoid.pi_emptyView on Github →