Theorem injective_of_localized_span

Modification history