Theorem infₛ_le_infₛ_of_subset_insert_top

Modification history