P
Initializing...
`BookProof.Prove2meReuse.lagrangian_det_add_two` (H : RouteHypotheses) : DetAddTwo · Prove2Me