Theorem Submodule.supᵢ_eq_range_dfinsupp_lsum

Modification history