Theorem Function.Embedding.invFun_restrict

Modification history