mathlib

fc32d017 - golfed hilbert 90 i believe. i need oleans