Skip to content
Snippets Groups Projects
Commit ed1fe4de authored by Bas Nijholt's avatar Bas Nijholt
Browse files

use \mathbb{R}

parent 273b3ba3
No related branches found
No related tags found
No related merge requests found
Pipeline #22106 passed