Doc: definitions expressed as a table in constructive_ereal.v#1452

affeldt-aist merged 3 commits intomath-comp:mastermath-comp/analysis:masterfrom

proof-ninja:yoshihiro503@table-definitionsproof-ninja/analysis:yoshihiro503@table-definitionsCopy head branch name to clipboard