Skip to content
Snippets Groups Projects
Commit fc85ec26 authored by Jens Nolte's avatar Jens Nolte
Browse files

Add lifted semigroup operator

parent dae04f4c
No related branches found
No related tags found
No related merge requests found
Pipeline #2301 passed