Theorem FirstOrder.Language.LHom.sumElim_comp_inr

Modification history