mathlib3
04af8bae - feat(logic/small): instances for Pi and sigma types (#7042)

Commit

4 years ago

feat(logic/small): instances for Pi and sigma types (#7042) Add some instances to prove basic type formers preserve smallness.

Author

dwarn

Parents