Closed tobiasgrosser closed 4 weeks ago
This theorem already exists in lean as toInt_eq_toNat_cond
Alive Statistics: 64 / 93 (29 failed)
This theorem already exists in lean as toInt_eq_toNat_cond