Def continuous_linear_equiv.to_span_nonzero_singleton

Modification history