Theorem ContinuousOn.finset_inf_apply

Modification history