Theorem IndexedPartition.class_of

Modification history

2026-07-17 09:57

Mathlib/Data/Setoid/Partition.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Modified IndexedPartition.class_of View on Github →

2024-10-19 06:53

Mathlib/Data/Setoid/Partition.lean

chore: deprecate `Setoid.Rel` (#16260)

Modified IndexedPartition.class_of View on Github →

2023-02-06 01:05

Mathlib/Data/Setoid/Partition.lean

feat: port Data.Setoid.Partition (#2066) …

Added IndexedPartition.class_of View on Github →