Split ereal.v in constructive_ereal.v and ereal.v#645

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

proux01:split_erealproux01/analysis:split_erealCopy head branch name to clipboard