Skip to content

remove simp from ofNat_toNat' #60829

remove simp from ofNat_toNat'

remove simp from ofNat_toNat' #60829