Theorem Num.castNum_or

Modification history

2023-10-19 09:56
Mathlib/Data/Num/Lemmas.lean
chore(Data/Num/Lemmas): fix lemma names (#7758)
Added Num.castNum_orView on Github →