feat: extrinsic finiteness proofs for toList, toListRev and toArray on iterators
#10356
Loading
toList, toListRev and toArray on iterators
#10356