Theorem Finset.subtype_Iio_eq

Modification history