Go back to the tag's page.
Fix typo in def Thanks to DU Changjiang https://stacks.math.columbia.edu/tag/0EUY#comment-8545
Tags: Added new tags
Extend two lemmas to h topology