Def Type_to_Pointed_forget_adjunction

Modification history