Theorem Continuous.finset_sup'_apply

Modification history