[isabelle] New AFP article: Derangements Formula by Lukas Bulwahn



The Derangements Formula describes the number of fixpoint-free permutations as a closed formula. This theorem is the 88th theorem in a list of the ``Top 100 Mathematical Theorems.''

http://afp.sourceforge.net/entries/Derangements.shtml

Enjoy!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.