Theorem supₛ_le_supₛ_of_forall_exists_le

Modification history