Theorem Function.Injective.invOfMemRange_surjective

Modification history