Mathlib Changelog
v3
Changelog
About
Github
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.categorical
View on Github →