Theorem AlgEquiv.funUnique_apply

Modification history