Tauto Set
My simple Lean 4 tactic tauto_set was merged into mathlib. It automatically proves tautological statements involving intersections, unions, complements of subsets.
My simple Lean 4 tactic tauto_set was merged into mathlib. It automatically proves tautological statements involving intersections, unions, complements of subsets.