Theorem coe_lowerClosure

Modification history