Theorem Setoid.IsPartition.ncard_eq_finsum

Modification history