Theorem FirstOrder.Language.LHom.sumElim_comp_inl

Modification history