Theorem FirstOrder.Language.funMap_sum_inr

Modification history