Theorem Function.Embedding.right_inv_of_invOfMemRange

Modification history