Theorem SimpleGraph.supᵢ_adj

Modification history