Hacker News new | ask | show | jobs
by greenlblue 5931 days ago
This is exactly the proof in the case of vector spaces.