michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/tests/lean/prodtst.lean.expected.out

2 lines
79 B
Text
Raw Permalink Normal View History

fix(tests/lean): adjust tests to modifications to standard library
2014-12-01 05:16:01 +00:00
prod2.{l_1 l_2} : Type.{l_1+1} → Type.{l_2+1} → Type.{max (l_1+1) (l_2+1)}
Reference in a new issue Copy permalink