Theorem Nat.cast_ite

Modification history

2022-11-20 00:17
Mathlib/Data/Nat/Cast/Defs.lean
feat: port data.{nat, int}.cast.defs (#641) …
Added Nat.cast_iteView on Github →