Commit b84518a

committed

decProp

1 parent e85cd16 commit b84518aCopy full SHA for b84518a

1 file changed

+152

-66

lines changed

theories/Corelib/ssr
- ssrbool.v

1 file changed

+152

-66

lines changed

Comments

(0)