mathlib
0f240304
- refactor(src/data/finset): supr/infi as a directed supr/infi of finite inf/sup
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
refactor(src/data/finset): supr/infi as a directed supr/infi of finite inf/sup
Author
johoelzl
Committer
johoelzl
Parents
eeed3218
Loading
mathlib
0f240304 - refactor(src/data/finset): supr/infi as a directed supr/infi of finite inf/sup
