Theorem FirstOrder.Language.LHom.sumElim_inl_inr

Modification history