Theorem inv_eq_self_of_exponent_two

Modification history