Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cardinal.empty_Theory_categorical

Modification history

2022-05-09 14:40
src/model_theory/satisfiability.lean
feat(model_theory/satisfiability): Definition of categorical theories (#14038) …
Added cardinal.empty_Theory_categoricalView on Github →