Def FirstOrder.Language.Term.listDecode
Modification history
2025-03-12 15:37
Mathlib/ModelTheory/Encoding.lean
chore(whitespace): more whitespace changes (#22850) …
Modified FirstOrder.Language.Term.listDecodeView on Github →2024-07-28 23:22
Mathlib/ModelTheory/Encoding.lean
chore(ModelTheory/Encoding): improve the encoding of formulas to avoid `sizeOf` (#15209) …
Modified FirstOrder.Language.Term.listDecodeView on Github →