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.

Estimated changes

added theorem Primrec.dom_finite
deleted theorem Primrec.dom_fintype