Theorem FirstOrder.Language.funMap_eq_coe_constants

Modification history