Theorem Function.Embedding.coe_subtype

Modification history