Theorem FirstOrder.Language.distinctConstantsTheory_mono

Modification history

2024-05-17 06:05
Mathlib/ModelTheory/Syntax.lean
chore(*): golf, mostly using `gcongr` (#12944) …
Added FirstOrder.Language.distinctConstantsTheory_monoView on Github →