Theorem CategoryTheory.Endofunctor.Algebra.Initial.left_inv'

Modification history

2023-12-02 15:52

Mathlib/CategoryTheory/Endofunctor/Algebra.lean

chore: space after `←` (#8178)

Modified CategoryTheory.Endofunctor.Algebra.Initial.left_inv'View on Github →

2023-05-16 13:10

Mathlib/CategoryTheory/Endofunctor/Algebra.lean

feat: port CategoryTheory.Endofunctor.Algebra (#3541)

Added CategoryTheory.Endofunctor.Algebra.Initial.left_inv'View on Github →