Theorem top_le_span_range_iff_forall_exists_fun

Modification history