Theorem Polynomial.mirror_involutive

Modification history