Def FirstOrder.Language.Term.listDecode
Modification history
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 →