| Fri, 13 Jul 2018 12:14:26 +0200 | immler | relaxed assumptions for dim_image_eq and dim_image_le | file | diff | annotate |
| Thu, 28 Jun 2018 13:49:02 +0200 | immler | transfer more lemmas | file | diff | annotate |
| Thu, 28 Jun 2018 13:18:02 +0200 | immler | fixed some oversights | file | diff | annotate |
| Thu, 28 Jun 2018 10:13:54 +0200 | immler | avoid duplicate facts, the "trick" was copied without deeper motivation | file | diff | annotate |
| Wed, 27 Jun 2018 11:16:43 +0200 | immler | example for Types_To_Sets: transfer from type-based linear algebra to subspaces | file | diff | annotate |