Theorem Equiv.Perm.self_trans_inv

Modification history