Theorem FirstOrder.Language.funMap_quotient_mk'

Modification history

2023-05-24 11:42
Mathlib/ModelTheory/Quotients.lean
feat: port ModelTheory.Quotients (#3972)
Added FirstOrder.Language.funMap_quotient_mk'View on Github →