Theorem Complex.adjoin_I

Modification history

2025-06-04 20:26
Mathlib/Data/Complex/Module.lean
feat: range of `lift`s (#25276) …
Added Complex.adjoin_IView on Github →