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.

Estimated changes