Theorem TwoP.coe_toBipointed

Modification history