Theorem Set.interᵢ_congr_Prop

Modification history