FRDCSA
Minor
Internal
External
Git
Packages
zf-in-agda
Jump To:
Parent Description
It is a predicate has an Ordinal argument.