Theorem FirstOrder.Language.funMap_sumInl

Modification history