Theorem CategoryTheory.Functor.pUnit_ext'

Modification history

2023-06-13 06:07

Mathlib/CategoryTheory/PUnit.lean

chore: tidy various files (#4997)

Deleted CategoryTheory.Functor.pUnit_ext'View on Github →

2023-06-09 07:23

Mathlib/CategoryTheory/PUnit.lean

chore: review of automation in category theory (#4793) …

Modified CategoryTheory.Functor.pUnit_ext'View on Github →

2023-03-12 16:37

Mathlib/CategoryTheory/PUnit.lean

chore: strip trailing spaces in lean files (#2828) …

Modified CategoryTheory.Functor.pUnit_ext'View on Github →

2023-02-21 19:14

Mathlib/CategoryTheory/PUnit.lean

feat: port/CategoryTheory.PUnit (#2367)

Added CategoryTheory.Functor.pUnit_ext'View on Github →