Rename fin_of_nat
into nat_to_fin
, fin_to_of_nat
into fin_to_nat_to_fin
, and fin_of_to_nat
into nat_to_fin_to_nat
, to follow the conventions in Iris, and also the recent rename for the similar vec
functions.
Rename fin_of_nat
into nat_to_fin
, fin_to_of_nat
into fin_to_nat_to_fin
, and fin_of_to_nat
into nat_to_fin_to_nat
, to follow the conventions in Iris, and also the recent rename for the similar vec
functions.