Theorem Subtype.exists_pi_extension

Modification history

2023-08-10 19:52
Mathlib/Tactic/Lift.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Subtype.exists_pi_extensionView on Github →
2023-01-08 01:33
Mathlib/Tactic/Lift.lean
feat: port the `lift` tactic (#723) …
Added Subtype.exists_pi_extensionView on Github →