Theorem four_functions_theorem

Modification history

2024-02-12 10:30

Mathlib/Combinatorics/SetFamily/FourFunctions.lean

chore(SetFamily/FourFunctions): drop some unneeded `DecidableEq` assumptions (#10442)

Modified four_functions_theorem View on Github →

2023-11-03 16:13

Mathlib/Combinatorics/SetFamily/FourFunctions.lean

feat: The four functions theorem (#7551) …

Added four_functions_theorem View on Github →