Mathlib Changelog
v4
Changelog
About
Github
Def
GCongrTests.dontUnfoldMe
Modification history
2024-11-04 00:48
MathlibTest/GCongr/inequalities.lean
chore: make tests into a library (#18304)
Added
GCongrTests.dontUnfoldMe
View on Github →