Theorem SimpleGraph.IsTuranMaximal.card_parts

Modification history