Theorem Cardinal.mk_complex

Modification history

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