`BookProof.ChapterGaugeParametrization.apply_eq` (π : X → Y) (σ : fiberGauge π) (x : X) : π (σ • x) = π x

Initializing...

`BookProof.ChapterGaugeParametrization.apply_eq` (π : X → Y) (σ : fiberGauge π) (x : X) : π (σ • x) = π x · Prove2Me