# Differences

This shows you the differences between two versions of the page.

 sequence_length [2014/12/02 16:37]nikolaj sequence_length [2014/12/02 16:37] (current)nikolaj Both sides previous revision Previous revision 2014/12/02 16:37 nikolaj 2014/12/02 16:37 nikolaj 2014/03/21 11:11 external edit2013/09/09 09:31 nikolaj 2013/09/08 16:19 nikolaj 2013/09/08 16:03 nikolaj created2013/09/05 00:32 nikolaj removed2013/08/04 19:10 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:06 nikolaj 2013/08/04 19:05 nikolaj created 2014/12/02 16:37 nikolaj 2014/12/02 16:37 nikolaj 2014/03/21 11:11 external edit2013/09/09 09:31 nikolaj 2013/09/08 16:19 nikolaj 2013/09/08 16:03 nikolaj created2013/09/05 00:32 nikolaj removed2013/08/04 19:10 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:09 nikolaj 2013/08/04 19:06 nikolaj 2013/08/04 19:05 nikolaj created Line 4: Line 4: | @#FFBB00: definiendum | @#FFBB00: $\mathrm{length}:​ \mathrm{Sequence}(X)\to\mathbb N\cup\{\infty\}$ | | @#FFBB00: definiendum | @#FFBB00: $\mathrm{length}:​ \mathrm{Sequence}(X)\to\mathbb N\cup\{\infty\}$ | - | @#FFBB00: definiendum | @#FFBB00: $\mathrm{length}(S):​= |\mathrm{dom}(S)|$ | + | @#FFBB00: definiendum | @#FFBB00: $\mathrm{length}(S):​= ​\left|\mathrm{dom}(S)\right|$ | ==== Discussion ==== ==== Discussion ==== ==== Parents ==== ==== Parents ====