Theorem supₛ_le_supₛ_of_subset_insert_bot

Modification history