# Commit 2022-02-14 04:42 6550cbac

View on Github →feat(order/partition/finpartition): Finite partitions (#9795) This defines finite partitions along with quite a few constructions,

Mathlib v3 is deprecated. Go to Mathlib v4

feat(order/partition/finpartition): Finite partitions (#9795) This defines finite partitions along with quite a few constructions,