mathlib
f74366ce - prove A.nonempty -> (relint A).nonempty
Commit
View On GitHub
Commit
3 years ago
prove A.nonempty -> (relint A).nonempty
Author
datokrat datokrat
Committer
datokrat datokrat
Parents
c4baf2e6
FAQ Terms Privacy Refunds Impressum
Loading