Holomorphy#1629

Open

Tragicus wants to merge 10 commits intomath-comp:masterfrom

Tragicus:holomorphy

Commits on Jun 3, 2025

pseudometric alias

affeldt-aist
authored and
Tragicus
committed
realType -> numFieldType

affeldt-aist
authored and
Tragicus
committed
recover saturate

affeldt-aist
authored and
Tragicus
committed
Mathcomp analysis now depends on real-closed

authored and
Tragicus
committed
holomorphic

mkerjean
authored and
Tragicus
committed
ComplexNumfieldtype

Marie
authored and
Tragicus
committed
port to MC2 (wip)
Tragicus
committed
wip and tried making factory from uniform to normedModType
Tragicus
committed
wip
Tragicus
committed
typo and changelog
Tragicus
committed