Theorem bddLat_dual_comp_forget_to_semilatInfCat

Modification history