Theorem PUnit.one_eq

Modification history

2023-01-09 20:40
Mathlib/Algebra/PUnitInstances.lean
feat: Port algebra.punit_instances (#1319) …
Added PUnit.one_eqView on Github →