Theorem Finset.set_binterᵢ_insert

Modification history