Theorem ex_of_psig

Modification history

2024-08-15 12:19
Mathlib/Init/Data/Sigma/Basic.lean
chore: cleanup in Mathlib/Init/* (#15188) …
Deleted ex_of_psigView on Github →
2024-07-03 14:53
Mathlib/Init/Data/Sigma/Basic.lean
chore(Mathlib/Init): remove autoImplicit (#14355) …
Modified ex_of_psigView on Github →
2022-11-23 19:36
Mathlib/Init/Data/Sigma/Basic.lean
feat: port Logic.Equiv.Basic (#631) …
Added ex_of_psigView on Github →