chore: add @[simp]
for Fin.foldl_zero
and Fin.foldr_zero
(#820)
#359
nightly_merge_master.yml
on: push
merge-to-nightly
4s