Go back to the tag's page.
Improve handling of depth a bit It turns out Burt Totaro was right...
Add missing hypothesis Thanks to Ofer Gabber
Tags: Added new tags
Some miscellaneous algebra facts