Mathlib Changelog
v4
Changelog
About
Github
Theorem
multiplicative_of_IsTotal
Modification history
2023-01-17 08:03
Mathlib/Algebra/Group/Basic.lean
chore: tidy various files (#1595)
Deleted
multiplicative_of_IsTotal
View on Github →
2023-01-07 10:38
Mathlib/Algebra/Group/Basic.lean
feat: synchronize with mathlib3 #18080 (#1399) …
Added
multiplicative_of_IsTotal
View on Github →