Theorem Int.radical_natCast

Modification history

2026-03-21 11:04
Mathlib/RingTheory/Radical/NatInt.lean
feat: four miscellaneous number theory lemmas (#36799) …
Added Int.radical_natCastView on Github →