Theorem MonoidHom.FixedPointFree.commute_all_of_involutive

Modification history