| Thu, 24 Jul 2025 16:44:52 +0200 | haftmann | moved / rearranged lemma | file | diff | annotate |
| Thu, 17 Jul 2025 21:06:22 +0100 | nipkow | moved lemma | file | diff | annotate |
| Thu, 17 Jul 2025 20:09:42 +0100 | nipkow | added lemma | file | diff | annotate |
| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | file | diff | annotate |