Theorem MonoidHom.FixedPointFree.orderOf_ne_two_of_involutive

Modification history