Theorem Submodule.map_liftQ

Modification history