| Thu, 02 Sep 2010 13:32:17 +0200 | hoelzl | NEWS | changeset | files |
| Thu, 02 Sep 2010 11:54:09 +0200 | hoelzl | Introduce surj_on and replace surj and bij by abbreviations. | changeset | files |
| Thu, 02 Sep 2010 10:45:51 +0200 | hoelzl | Permutation implies bij function | changeset | files |
| Thu, 02 Sep 2010 10:36:45 +0200 | hoelzl | bij <--> bij_betw | changeset | files |