Theorem ContinuousOn.finset_inf'_apply

Modification history