Theorem SimpleGraph.isExtremal_free_iff

Modification history