Mathlib Changelog
v4
Changelog
About
Github
Theorem
multiplicative_of_isTotal
Modification history
2023-06-20 11:14
Mathlib/Algebra/Group/Basic.lean
feat: port Analysis.BoundedVariation (#4824) …
Modified
multiplicative_of_isTotal
View on Github →
2023-01-17 08:03
Mathlib/Algebra/Group/Basic.lean
chore: tidy various files (#1595)
Added
multiplicative_of_isTotal
View on Github →