Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-21 10:00 6b5a1730

View on Github →

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

Estimated changes

modified theorem classical.nonempty_pi