Commit 2025-04-08 11:56 ddfe6b0a
View on Github →chore: split Data.Num.Lemmas
(#23655)
I have taken out a large block of statements (and a few tactics) that use ZNum
or rely on statements that use ZNum
and put them into Data.Num.ZNum
.
chore: split Data.Num.Lemmas
(#23655)
I have taken out a large block of statements (and a few tactics) that use ZNum
or rely on statements that use ZNum
and put them into Data.Num.ZNum
.