Theorem Cubic.toPoly_injective

Modification history