Theorem Function.Embedding.toEquivRange_symm_apply_self

Modification history