Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed dependency of Derangements on Approximation
Changeset 8196:5714814fbd71 by manuel eberl _eberlm@in.tum.de_:
Removed dependency of Derangements on Approximation
The file was modified thys/Derangements/Derangements.thy (diff)
The file was modified thys/Derangements/ROOT (diff)