Kleine verbetering in bewijs dimensiestelling
De ongelijkheden volgen uit het feit dat U doorsnede W zowel een deelruimte van U als van W is, waardoor de dimensie van de
doorsnede van beide afhankelijk is. De oongelijkheden kunnen niet afgeleid worden uit het zijn van een deelruimte van V alleen.
Nog wat verbeteringen toegevoegd, ook het eindebesluit van het bewijs verbeterd.
Compilatieprobelemen temporary fix
Hier worden bestanden vernoemd die niet aanwezig zijn in de github, is dit een fout bij het uploaden of zijn er gewoon foute
verwijzingen blijven staan? Heb de lijnen er uit gehaald, als de pdfs er bij geraken zet ge ze maar terug.
Merge remote-tracking branch 'upstream/master'