Theorem SimpleGraph.bot_degree

Modification history