Theorem span_eq_top_of_isLocalizedModule

Modification history