Skip to content
Success

Changes

Summary

  1. tuned whitespace
Changeset 7703:e73b2178df9d by blanchet:
tuned whitespace
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy (diff)