Def Lat_to_BddLat_forget_adjunction

Modification history