96
edits
Talk:German terminology: Difference between revisions
Jump to navigation
Jump to search
Talk:German terminology (view source)
Revision as of 18:17, 18 November 2020
, 18:17, 18 November 2020→Dt. Übersetzung "tack" (German translation of "tack")
MichaelBaas (talk | contribs) No edit summary |
MichaelBaas (talk | contribs) |
||
| Line 25: | Line 25: | ||
:"Stille" was based on a suggestion from JoHo, but your argument sounds reasonable. Mathematics also know about "implicit fns" and I think they could be seen as relatives, so I will change. --[[User:MichaelBaas|MichaelBaas]] ([[User talk:MichaelBaas|talk]]) 12:47, 13 November 2020 (UTC) | :"Stille" was based on a suggestion from JoHo, but your argument sounds reasonable. Mathematics also know about "implicit fns" and I think they could be seen as relatives, so I will change. --[[User:MichaelBaas|MichaelBaas]] ([[User talk:MichaelBaas|talk]]) 12:47, 13 November 2020 (UTC) | ||
== Dt. Übersetzung " | == Dt. Übersetzung "Tack" (German translation of "Tack") == | ||
Es geht um die beiden Symbole: ⊣ ⊢ | Es geht um die beiden Symbole: ⊣ ⊢ | ||