Theorem FirstOrder.Language.LHom.funMap_sumInr

Modification history