OAI.Zarankiewicz.TruncatedSpokeCoordinates.odd_normalized_crossing_lower_bound: intermediate lemma from OpenAI, The crossing number of complete bipartite graphs

Initializing...

OAI.Zarankiewicz.TruncatedSpokeCoordinates.odd_normalized_crossing_lower_bound: intermediate lemma from OpenAI, The crossing number of complete bipartite graphs · Prove2Me