Theorem MonoidHom.FixedPointFree.odd_card_of_involutive

Modification history