Theorem Function.Embedding.ext_iff

Modification history