Theorem nonzero_span_atom

Modification history