Theorem BddLat.coe_forget_to_bddOrd

Modification history