Theorem Submodule.range_dualMap_mkQ_eq

Modification history