Go back to the tag's page.
Add new checks due to change statement Lemma 09ZG
Tags: Added new tags Also fixed two small things found by scripts
Proper base change for H^0 over a henselian pair