Theorem AlgEquiv.ofAlgHom_symm

Modification history