IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
compose iter zero
A:Type, f:(A
A), x:A. f{
0}(x) = x
| By: |
Compute f{0}(x) * x |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
