Theorem Finset.forall_toSet

Modification history

2026-09-15 15:39
Mathlib/Data/Set/Finite/Basic.lean
feat(GroupTheory/Finiteness): add general `IsMulFG` (#43532) …
Added Finset.forall_toSetView on Github →