Theorem Set.Finite.preimage'

Modification history

2024-08-06 08:16

Mathlib/Data/Set/Finite.lean

chore: tidy various files (#15516)

Modified Set.Finite.preimage'View on Github →

2024-07-26 08:51

Mathlib/Data/Set/Finite.lean

feat(GroupTheory): covering a group by cosets (Lemma of B. H. Neumann) (#13047) …

Added Set.Finite.preimage'View on Github →