Theorem Num.castNum_and

Modification history

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