Mathlib Changelog
v4
Changelog
About
Github
Def
Action.actionPUnitEquivalence
Modification history
2026-02-15 14:33
Mathlib/CategoryTheory/Action/Basic.lean
chore: rename "Punit" to "PUnit" in definitions (#34972) …
Added
Action.actionPUnitEquivalence
View on Github →