mathlib3
ab6a892b - feat(data/finset/noncomm_prod): add noncomm_prod_congr (#12520)

Commit

3 years ago

feat(data/finset/noncomm_prod): add noncomm_prod_congr (#12520)

Author

nomeata

nomeata

Parents

Loading