Commit 2025-11-25 09:05 af31825c

View on Github →

chore: use Fin.last in ofDigits_const_last_eq_one (#32071) This seems like the more logical phrasing.

Estimated changes