Theorem Submodule.linearEquiv_det_reflection

Modification history