Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-31 07:25
2fa7e88a
View on Github →
docs: Better explain
FarFromTriangleFree
(
#6696
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Triangle/Basic.lean
deleted
theorem
SimpleGraph.farFromTriangleFree.mono