Theorem Set.injective_codRestrict

Modification history