Homotopy Type Theory
reciprocal ring > history
Redirected from "duality-symmetric abelian Yang-Mills theory".
<
reciprocal ring
category:
redirected to nlab