Theorem Function.Embedding.swap_comp

Modification history