Theorem FirstOrder.Language.funMap_sumInr

Modification history