Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Related.agda | 2011-12-13 12:27 | 13K | ||
Inverse.agda | 2011-12-13 12:27 | 5.3K | ||
Equivalence.agda | 2011-12-13 12:27 | 3.6K | ||
Equality.agda | 2011-12-13 12:27 | 3.2K | ||
LeftInverse.agda | 2011-12-13 12:27 | 3.2K | ||
Surjection.agda | 2011-12-13 12:27 | 3.0K | ||
Bijection.agda | 2011-12-13 12:27 | 2.6K | ||
Injection.agda | 2011-12-13 12:27 | 1.7K | ||
Related/ | 2011-12-13 12:27 | - | ||