Theorem AlgEquiv.map_det

Modification history