Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Commit

Permalink
chore(model_theory/*): Split up model_theory/basic (#11846)
Browse files Browse the repository at this point in the history 
Splits model_theory/basic into separate files: basic, substructures, terms_and_formulas, definability, quotients
Improves documentation throughout
  • Loading branch information
@awainverse
awainverse committed Feb 7, 2022
1 parent 3c70566 commit 0090891
Show file tree
Hide file tree
Showing 6 changed files with 1,062 additions and 930 deletions.
Loading

0 comments on commit 0090891

Please sign in to comment.