Theorem MonoidHom.FixedPointFree.coe_eq_inv_of_sq_eq_one

Modification history