newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News

 
 

version 1.6.5 released

Item posted by Slawomir Kolodynski <slawekk> on Mon 22 Sep 2008 01:01:30 AM UTC.

This version adds about 50 new facts leading to the theorem that every two linearly ordered finite sets are order isomorphic and the isomorphism is unique.

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code