Theorem nonempty_psigma

Modification history

2023-08-10 19:52

Mathlib/Logic/Nonempty.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified nonempty_psigma View on Github →

2022-10-25 00:59

Mathlib/Logic/Nonempty.lean

feat: Port Logic.Nonempty (#487) …

Modified nonempty_psigma View on Github →

2022-01-17 11:03

Mathlib/Logic/Nonempty.lean

chore: bump to nightly-2022-01-17 (#160)

Added nonempty_psigma View on Github →