Theorem IsMIntegralCurve.periodic_xor_injective

Modification history