Theorem Set.InjOn.congr

Modification history