Theorem Finset.insert_compl_insert

Modification history

2023-09-26 11:46
Mathlib/Data/Fintype/Basic.lean
feat: lemmas about finset (#7337) …
Added Finset.insert_compl_insertView on Github →