Theorem Function.Embedding.coe_sumMap

Modification history