Skip to content

chore: cleanup proof of satisfiesM_foldlM #18

chore: cleanup proof of satisfiesM_foldlM

chore: cleanup proof of satisfiesM_foldlM #18