Commit 2026-01-06 23:21 4f2ac4a5

View on Github →

chore(Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity): rename .rfl to .refl (#33673) Also tag it with @[refl] and add an iff version for symm.

Estimated changes