Commit 2024-05-08 09:34 89b4b590
View on Github →feat: In characteristic p, Nat.cast
is injective on Iio p
(#12542)
Add CharP.natCast_injOn_Iio
.
feat: In characteristic p, Nat.cast
is injective on Iio p
(#12542)
Add CharP.natCast_injOn_Iio
.