Theorem BddLat.forget_semilatInf_partOrd_eq_forget_bddOrd_partOrd

Modification history