mathlib
bd89a386 - Merge branch 'master' into YK-cons-divisors

Commit

3 years ago

Merge branch 'master' into YK-cons-divisors

References

#17612 - refactor(*): assume `≠0` instead of `0 < _`

Author

urkud

urkud

Parents

Loading