Commit 2021-12-31 14:15 a5573f37
View on Github →feat(data/{fin,multi}set/powerset): add some lemmas about powerset_len (#10866) For both multisets and finsets From flt-regular
feat(data/{fin,multi}set/powerset): add some lemmas about powerset_len (#10866) For both multisets and finsets From flt-regular