Def dontUnfoldMe

Modification history

2024-11-04 00:48

MathlibTest/GCongr/inequalities.lean

chore: make tests into a library (#18304)

Deleted dontUnfoldMe View on Github →

2023-11-30 05:35

test/GCongr/inequalities.lean

perf: adjust reducibility setting in gcongr (#8731)

Added dontUnfoldMe View on Github →