Naming convention for predicates

Stream: lean4

[Li Xuanji]

I notice that there are predicates like Nat.isPowerOfTwo and Nat.isValidChar where I would expect it to be named Nat.IsPowerOfTwo and Nat.IsValidChar based on the naming convention and experience from Mathlib; is this intentional?

[Eric Wieser]

docs#Nat.isPowerOfTwo and docs#Nat.isValidChar are indeed misnamed according to the conventions.

[Eric Wieser]

They'd be correct if they were Bool-valued