Theorem Function.Embedding.subtype_apply

Modification history