Theorem MonoidHom.FixedPointFree.odd_orderOf_of_involutive

Modification history