Theorem Num.castNum_ldiff

Modification history

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