Theorem Submodule.finrank_sup_add_finrank_inf_eq

Modification history