Theorem SimpleGraph.bot_adj

Modification history