Theorem Submodule.mem_biSup_iff_exists_dfinsupp

Modification history