96
edits
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: ⊣ ⊢ |
edits