Def CategoryTheory.Lan.adjunction

Modification history