Commit 2024-06-08 16:29 e3cbddfb

View on Github →

chore: rename UInt8.isLower to isASCIILower, etc (#13586) Hopefully this one is not controversial. :-)

Estimated changes

Modified Mathlib/Data/UInt.lean

added def UInt8.isASCIIAlpha

added def UInt8.isASCIIAlphanum

added def UInt8.isASCIIDigit

added def UInt8.isASCIILower

added def UInt8.isASCIIUpper

deleted def UInt8.isAlpha

deleted def UInt8.isAlphanum

deleted def UInt8.isDigit

deleted def UInt8.isLower

deleted def UInt8.isUpper