Skip to content

irrationals: restrict assume effects annotations to known types #9587

irrationals: restrict assume effects annotations to known types

irrationals: restrict assume effects annotations to known types #9587

Check for new typos

succeeded Oct 9, 2024 in 7s