Theorem coe_upperClosure

Modification history