Theorem IsIntegralCurve.periodic_xor_injective

Modification history