Theorem Equiv.Perm.refl_inv

Modification history