Theorem SimpleGraph.infₛ_adj

Modification history