Commit 2025-08-24 17:49 758e5526
View on Github →style: rename Primrec.dom_fintype
to Primrec.dom_finite
(#28795)
Primrec.dom_fintype
uses Finite
but not Fintype
, so this is cleary confusing.
style: rename Primrec.dom_fintype
to Primrec.dom_finite
(#28795)
Primrec.dom_fintype
uses Finite
but not Fintype
, so this is cleary confusing.