Theorem Function.Embedding.codRestrict_apply

Modification history