Mathlib v3 is deprecated. Go to Mathlib v4

Def absolute_value.comp

Modification history

2022-12-23 08:51
src/topology/algebra/ring.lean
feat(number_theory/number_field/embeddings) : add infinite_places (#17844) …
Added absolute_value.compView on Github →