Commit 2025-07-04 10:05 eca402a4

View on Github →

chore: split out NatCast/IntCast Complex instances (#26522) This makes it possible to simplify some proofs

Estimated changes

modified theorem Complex.re_ofNat