Theorem Primrec.dom_finite

Modification history

2025-08-24 17:49
Mathlib/Computability/Primrec.lean
style: rename `Primrec.dom_fintype` to `Primrec.dom_finite` (#28795) …
Added Primrec.dom_finiteView on Github →