Commit 2021-10-19 07:46 a7bc7174
View on Github →feat(algebra/big_operators/order): Upper bound on the cardinality of finset.bUnion (#9797)
Also fix notation in all the additivized statements docstrings.
feat(algebra/big_operators/order): Upper bound on the cardinality of finset.bUnion (#9797)
Also fix notation in all the additivized statements docstrings.