François G. Dorais 759ece7f9e fix: naming convention for UInt lemmas (#4514) ... Closes #4513 --------- Co-authored-by: Kim Morrison <kim@tqft.net>		2024-08-12 01:03:21 +00:00
..
Basic.lean	feat: some Char, UInt, and Fin theorems (#4231)	2024-05-21 06:11:23 +00:00
Bitwise.lean	feat: USize.and_toNat (#4629)	2024-07-03 01:28:36 +00:00
Lemmas.lean	fix: naming convention for UInt lemmas (#4514)	2024-08-12 01:03:21 +00:00
Log2.lean	feat: log2 for Fin and UInts	2022-11-29 01:05:06 +01:00