Go back to the tag's page.
Tags: added new tags
Fix error in duality Tag 0A9Q Thanks to Rachel Webb who also suggested using the coherator to state the corrected version of the lemma.