Def CategoryTheory.frobeniusMorphism

Modification history

2023-06-15 07:21

Mathlib/CategoryTheory/Closed/Functor.lean

feat: port CategoryTheory.Closed.Functor (#4922)

Added CategoryTheory.frobeniusMorphism View on Github →