Theorem AlgEquiv.aut_one

Modification history