Theorem FirstOrder.Language.LHom.comp_sumElim

Modification history