Wug Nlab: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 21: | Line 21: | ||
as a P ym ød as Trløm Spи ad ad is as a T ym иm as и as ək øm as P ad ad ad ad as Tən as T ad øm Dи tød Bəid ad | as a P ym ød as Trløm Spи ad ad is as a T ym иm as и as ək øm as P ad ad ad ad as Tən as T ad øm Dи tød Bəid ad | ||
(∀P∈class(Trløm Spи)) | (∀P∈class(Trløm Spи))(∀T∈range(function(name=(P))))(inf(T)=1/2) | ||