Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Contravariant map on filters
Changeset 66162:65cd285f6b9c by eberlm _eberlm@in.tum.de_:
Contravariant map on filters
The file was modified src/HOL/Filter.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)