Theorem BddLatCat.coe_forget_to_semilatSup

Modification history