Theorem SimpleGraph.map_adj_apply

Modification history