Theorem Finset.set_binterᵢ_option_toFinset

Modification history