Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.norm_zero

Modification history

2023-01-27 17:10
src/ring_theory/norm.lean
feat(ring_theory): lemmas on algebra norm (#18298) …
Added algebra.norm_zeroView on Github →