Go back to the tag's page.
Depth of pushforwards Should have added this lemma long ago...
Tags: Added new tags
Add in all the missing details from 9a7776cd
Rough draft argument descent vbs char p Thanks to Bhargav Bhatt