Summary
- type of ffact formally generalized
The file was modified | thys/Discrete_Summation/Factorials.thy (diff) |
The file was modified | thys/Discrete_Summation/Summation_Conversion.thy (diff) |
The file was modified | thys/Discrete_Summation/Factorials.thy (diff) |
The file was modified | thys/Discrete_Summation/Summation_Conversion.thy (diff) |