Talk:Height: Difference between revisions
Counterexample |
|||
| Line 27: | Line 27: | ||
: Could you provide some materials on what it is? [[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 07:49, 31 December 2022 (UTC) | : Could you provide some materials on what it is? [[User:FloraC|FloraC]] ([[User talk:FloraC|talk]]) 07:49, 31 December 2022 (UTC) | ||
: The gradus suavitatis is indeed a proper height function. It might be worth adding because of its historical significance. Not sure about the other ones, though a lot of those (tenney, te_norm, weil, wilson) are already described as height functions on the wiki. – [[User:Sintel|Sintel🎏]] ([[User_talk:Sintel|talk]]) 13:43, 25 April 2025 (UTC) | |||
== Counterexample == | == Counterexample == | ||