Commit 2022-12-13 10:52 1ab1df86

View on Github →

feat port: Data.Bool.Set (#960) cf9386b56953fb40904843af98b7a80757bbe7f9 Easy

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Bool/Set.lean

added theorem Bool.range_eq

added theorem Bool.univ_eq