Theorem Submodule.mapQ_zero

Modification history