Go back to the tag's page.
Move a few more lemmas in to pione.tex
Tags: Added new tags
Finish proof of proper base change theorem Still a bit rough.