Theorem exact_of_localized_span

Modification history