Fin-0.1.0.0: Finite totally-ordered sets

Index

FinData.Fin
SuccData.Fin
ZeroData.Fin