Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Equality.agda | 2011-09-24 20:24 | 3.2K | ||
Equivalence.agda | 2011-09-24 20:24 | 3.6K | ||
Injection.agda | 2011-09-24 20:24 | 1.7K | ||
Bijection.agda | 2013-01-29 17:26 | 2.7K | ||
Inverse.agda | 2013-01-29 17:26 | 5.3K | ||
LeftInverse.agda | 2013-01-29 17:26 | 3.5K | ||
Surjection.agda | 2013-01-29 17:26 | 3.1K | ||
Related/ | 2013-04-22 18:29 | - | ||
Related.agda | 2013-07-16 22:43 | 13K | ||