Theorem AlgEquiv.trdeg_eq

Modification history