Theorem ContinuousOn.finset_sup'_apply

Modification history