Theorem FirstOrder.Language.IsUltrahomogeneous.extend_embedding

Modification history