Theorem BddLat.forget_semilatSup_partOrd_eq_forget_bddOrd_partOrd

Modification history