Skip to content

Commit b130a38

Browse files
peterlefanulumsdainepeterlefanulumsdaine
committed
Some proof simplification in SpltTCwF_TypeFormers
1 parent 55aad58 commit b130a38

File tree

1 file changed

+108
-188
lines changed

1 file changed

+108
-188
lines changed

0 commit comments

Comments
 (0)