mathlib3
5eb10e6f - Merge branch 'YK-cons-divisors' into YK-nat-pos

Commit

3 years ago

Merge branch 'YK-cons-divisors' into YK-nat-pos

References

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

Author

urkud

urkud

Parents

Loading