Alan uzantıları üzerinden lineer cebir hakkında küçük bir not (tabii ki, kodlama uygulamaları ve özlü ispatlar ile)