Theorem IsLocalization.mem_span_iff

Modification history