Mathlib Changelog
v4
Changelog
About
Github
Theorem
PUnit.norm_unit_eq
Modification history
2024-10-22 08:37
Mathlib/Algebra/PUnitInstances/Algebra.lean
chore(Algebra/PUnitInstances): split off `GCDMonoid PUnit` instance (#18014) …
Modified
PUnit.norm_unit_eq
View on Github →
2023-06-12 01:02
Mathlib/Algebra/PUnitInstances.lean
chore: formatting issues (#4947)
Modified
PUnit.norm_unit_eq
View on Github →
2023-01-09 20:40
Mathlib/Algebra/PUnitInstances.lean
feat: Port algebra.punit_instances (#1319) …
Added
PUnit.norm_unit_eq
View on Github →