Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: Derangements Formula by Lukas...

Email Gateway (Aug 22 2022 at 10:25):

From: Tobias Nipkow <nipkow@in.tum.de>
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!
smime.p7s

Last updated: Sep 02 2026 at 08:32 UTC