Theorem AlgEquiv.aut_inv

Modification history