Project Page
Index
Table of Contents
Require
Import
List
Arith
Lia
.
From
Undecidability.Shared.Libs.DLW.Utils
Require
Export
fin_base
fin_quotient
fin_dec
fin_choice
fin_upto
fin_bij
.