Theorem bijective_of_localized_span

Modification history