Theorem BddLat.coe_forget_to_lat

Modification history