Mathlib v3 is deprecated. Go to Mathlib v4

Def cardinal.categorical

Modification history

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