Theorem Function.extend_of_empty

Modification history

2022-11-20 21:15

Mathlib/Logic/IsEmpty.lean

feat: `#noalign` command; `align.precheck` option (#663) …

Deleted Function.extend_of_empty View on Github →

2022-10-24 00:48

Mathlib/Logic/IsEmpty.lean

feat: Port Logic.IsEmpty (#486) …

Added Function.extend_of_empty View on Github →