mathlib3
41cbfdc3 - chore(analysis/hofer): use the new choose! (#3839)

Commit

5 years ago

chore(analysis/hofer): use the new choose! (#3839)

References

#4925 - Make prime-avoidance branch build

Author

PatrickMassot

PatrickMassot

Parents

Loading