Theorem Set.InjOn.image_interᵢ_eq

Modification history