`BookProof.Prove2meReuse.qg_gribov_negative_direction` (H : RouteHypotheses) : GribovNegativeDirection

Initializing...

`BookProof.Prove2meReuse.qg_gribov_negative_direction` (H : RouteHypotheses) : GribovNegativeDirection · Prove2Me