mathlib3
3d7b09e4 - `coe_ne_bot` is `coe_to_fractional_ideal_ne_zero`

Commit

5 years ago

`coe_ne_bot` is `coe_to_fractional_ideal_ne_zero`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading