prop_rigidMapStreamPT i =
  mk_prop_pt_id (Iter.rigidMapStream i) (rigidMapStreamPT i)
prop_rigidMapStreamPT i =
  mk_prop_pt_id (Iter.rigidMapStream i) (rigidMapStreamPT i)
prop_rigidMapStreamPT i =
  mk_prop_pt_id (Iter.rigidMapStream i) (rigidMapStreamPT i)