Theorem FreeAbelianGroup.of_ne_zero

Modification history

2024-10-29 10:07
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: trivial nontrivialities for free (constructions) (#18363) …
Added FreeAbelianGroup.of_ne_zeroView on Github →