Jason (jcreed) wrote,
Jason
jcreed

The fundamental theorem of algebra, to a type theorist:
the type of multisets of complex numbers of size n
is basically the same as
the type of lists of complex numbers of size n
Tags: math
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 6 comments