mathlib3
da13598d - feat(model_theory/encoding): Bundled encoding of terms (#13226)

Commit

3 years ago

feat(model_theory/encoding): Bundled encoding of terms (#13226) Bundles `term.list_encode` and `term.list_decode` into a `computability.encoding`

Author

awainverse

Parents