Theorem exists_exists_exists_and_eq

Modification history

2024-02-12 17:24

Mathlib/Logic/Basic.lean

feat: the pairing of a Lie algebra root space with its negative (#10454)

Added exists_exists_exists_and_eq View on Github →