Theorem BddLatCat.forget_semilatInf_partOrdCat_eq_forget_bddOrd_partOrdCat

Modification history