Consistent first-order action functional for gauge theories | Synapse