P
Initializing...
Prop. 1 analogue: without gauge arrows A ↦ δA forgets structure · Prove2Me