mathlib3
6b5a1730 - feat(logic/nonempty): `pi.nonempty` instance (#15574)

Commit

3 years ago

feat(logic/nonempty): `pi.nonempty` instance (#15574) Moved from lean-liquid.

Author

vihdzp

vihdzp

Parents

Loading