Theorem exists_exists_and_exists_and_eq_and

Modification history

2023-11-24 12:19
Mathlib/Logic/Basic.lean
feat: various linear algebra results (#8572)
Added exists_exists_and_exists_and_eq_andView on Github →