proved the property of transportation of pi type
proved the property of transportation of pi type

the most difficult part is to get the type right rather than proving
it though.

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps