Theorem uniqueElim_const

Modification history

2024-04-19 20:51

Mathlib/Logic/Unique.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified uniqueElim_const View on Github →

2023-11-11 01:53

Mathlib/Logic/Unique.lean

feat: measurability of uniqueElim and piFinsetUnion (#8249) …

Added uniqueElim_const View on Github →