Def CategoryTheory.SolutionSetCondition

Modification history

2023-04-25 11:42

Mathlib/CategoryTheory/Adjunction/AdjointFunctorTheorems.lean

feat: port CategoryTheory.Adjunction.AdjointFunctorTheorems (#3628)

Added CategoryTheory.SolutionSetCondition View on Github →