Theorem SimpleGraph.IsTuranMaximal.le_iff_eq

Modification history