Theorem SimpleGraph.neighborFinset_eq_filter

Modification history