Theorem FirstOrder.Language.LHom.sumInr_injective

Modification history