Theorem distLat_dual_comp_forget_to_Lat

Modification history