Theorem RingEquiv.map_det

Modification history