Theorem Cardinal.mk_univ_complex

Modification history

2025-03-14 05:54
Mathlib/Data/Complex/Cardinality.lean
chore(Data): go through remaining porting notes (#22907) …
Added Cardinal.mk_univ_complexView on Github →