Theorem Finset.bunionᵢ_insert

Modification history