Author: Urs Format: MarkdownItexhave now added both possible definitions and a remark on why they are isomorphic.
<a href="https://ncatlab.org/nlab/revision/diff/anti-dual+linear+space/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/anti-dual+linear+space/2">v2</a>, <a href="https://ncatlab.org/nlab/show/anti-dual+linear+space">current</a>
have now added both possible definitions and a remark on why they are isomorphic.