return to top
source
min n m as an element of Fin (m + 1)
min n m
Fin (m + 1)
enum n is the array of all elements of Fin n in order
enum n
Fin n
list n is the list of all elements of Fin n in order
list n