`BookProof.Prove2meReuse.qg_high_part_finiteDimensional` (H : RouteHypotheses) : CompactSymmetricHighPart

Initializing...

`BookProof.Prove2meReuse.qg_high_part_finiteDimensional` (H : RouteHypotheses) : CompactSymmetricHighPart · Prove2Me