Hacker News new | ask | show | jobs
by Grustaf 1721 days ago
The concept of an additive zero is built into what it means to be a vector space though.