Theorem FirstOrder.Language.withConstants_funMap_sum_inl

Modification history