Theorem Continuous.finset_inf_apply

Modification history