Theorem FirstOrder.Language.withConstants_funMap_sumInr

Modification history