Mathlib v3 is deprecated. Go to Mathlib v4

Def setoid.is_partition

Modification history

2020-05-29 05:57

src/data/setoid/basic.lean

chore(data/setoid): split into `basic` and `partition` (#2853) …

Modified setoid.is_partition View on Github →

2019-09-26 12:04

src/data/setoid.lean

feat(data/setoid): create file about setoids (#1453) …

Added setoid.is_partition View on Github →