Theorem span_eq_top_localization_localization

Modification history