mathlib
7cbca35f
- feat(data/fintype/intervals): fintype instances for set.{Icc,Ioc,Ioo} (#8123)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(data/fintype/intervals): fintype instances for set.{Icc,Ioc,Ioo} (#8123)
Author
jcommelin
Parents
6e0d2d3b
Loading
mathlib
7cbca35f - feat(data/fintype/intervals): fintype instances for set.{Icc,Ioc,Ioo} (#8123)
