Theorem FirstOrder.Language.LHom.sumInl_injective

Modification history