Theorem Submodule.le_traceDual_iff_map_le_one

Modification history