Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Updated to use infinite product
Changeset 9381:0ad29e7a523b by wenda li _liwenda1990@hotmail.com_:
Updated to use infinite product
The file was modified thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy (diff)