basic): section of localisation of non-zero is non-zero (#15404)

Commit

3 years ago

feat(ring_theory/localization/basic): section of localisation of non-zero is non-zero (#15404)

Author

Multramate

Parents