The 5/8 theorem

Source: doi:10.2307/2317564 Authors: Xuanji Li Status: verified Main declarations: FiveEighths.commProb_le_five_eighths Tags: group-theory, finite-groups, commuting-probability MSC: 20P05