Theorem FirstOrder.Language.LHom.funMap_sumInl

Modification history