Hacker News new | ask | show | jobs
by adastra22 204 days ago
Consequence from a known result describes literally every proof.