Rocqnavi: 👷 Fix Broken tooltips#2044

affeldt-aist merged 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

proof-ninja:yoshihiro503@rocqnavi-broken-tooltipsproof-ninja/analysis:yoshihiro503@rocqnavi-broken-tooltipsCopy head branch name to clipboard