mathlib

91ce04d4 - chore(model_theory/encoding): Move the encoding for terms to its own file (#13223)

chore(model_theory/encoding): Move the encoding for terms to its own file (#13223) Moves the declarations about encodings and cardinality of terms to their own file, `model_theory/encoding`