Go back to the tag's page.
Tags: Added new tags
Upgrade Rf_! a little bit Not sure this was necessary, but I guess it is clearly true, etc.
Combining loc ac with proper base change