P
Initializing...
BookProof.ChapterGaugeParametrization.isCompleteGaugeFixing'_iff_injOn · Prove2Me