Mathlib Changelog
v4
Changelog
About
Github
Theorem
PUnit.mul_eq
Modification history
2024-03-13 20:53
Mathlib/Algebra/PUnitInstances.lean
chore: remove more autoImplicit (#11336) …
Modified
PUnit.mul_eq
View on Github →
2023-01-09 20:40
Mathlib/Algebra/PUnitInstances.lean
feat: Port algebra.punit_instances (#1319) …
Added
PUnit.mul_eq
View on Github →