Theorem collapse_nonneg

Modification history

2023-12-30 21:45

Mathlib/Combinatorics/SetFamily/FourFunctions.lean

chore(*): drop `$`/`<|` before `fun` (#9361) …

Modified collapse_nonneg View on Github →

2023-11-14 09:51

Mathlib/Combinatorics/SetFamily/FourFunctions.lean

chore: tidy various files (#8398)

Modified collapse_nonneg View on Github →

2023-11-03 16:13

Mathlib/Combinatorics/SetFamily/FourFunctions.lean

feat: The four functions theorem (#7551) …

Added collapse_nonneg View on Github →