Difference between r1.2 and the current
@@ -22,5 +22,9 @@
https://oeis.org/wiki/Empty_product
}//empty product .... Ggl:"empty product" Bing:"empty product"
[[모나드,monad]] .... via https://ncatlab.org/nlab/show/monad+(disambiguation)#HistoricalOrigins
unit - [[유닛,unit]] [[단위,unit]]
----
https://oeis.org/wiki/One영,zero 또는 하나인... -> rel. 둘,two
{
(0,1)-valued *
크로네커_델타,Kronecker_delta
Boolean *
binary *
비트,bit
...
}
{
(0,1)-valued *
크로네커_델타,Kronecker_delta
Boolean *
binary *
비트,bit
...
}
Rel empty_sum
https://oeis.org/wiki/Empty_product
}//empty product .... empty product empty product
모나드,monad .... via https://ncatlab.org/nlab/show/monad (disambiguation)#HistoricalOrigins
unit - 유닛,unit 단위,unit
}//empty product .... empty product empty product
모나드,monad .... via https://ncatlab.org/nlab/show/monad (disambiguation)#HistoricalOrigins
unit - 유닛,unit 단위,unit