Theorem OnePoint.coe_ne_infty

Modification history