Theorem FirstOrder.Language.LHom.Injective.isExpansionOn_default

Modification history