Theorem FirstOrder.Language.lhomWithConstants_injective

Modification history