Theorem Set.sigmaToUnionᵢ_injective

Modification history