Theorem Function.Embedding.toEquivRange_eq_ofInjective

Modification history