open_nbhs -> mem_open - #2094

open_nbhs -> mem_open#2094

affeldt-aist wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:fix_1969affeldt-aist/analysis:fix_1969Copy head branch name to clipboard