Bipolar theorem for a dual pair

ID: bipolar-theorem-for-a-dual-pair

For in a dual pair , define . Then

New to topics? Read the docs here!