Theorem Fin.Iio_eq_finset_subtype

Modification history