Skip to content

Commit e5723c0

Browse files
peterlefanulumsdainepeterlefanulumsdaine
committed
Further proof simplification in TypeConstructions
1 parent b130a38 commit e5723c0

File tree

2 files changed

+87
-164
lines changed

2 files changed

+87
-164
lines changed

0 commit comments

Comments
 (0)