Commit ad32adb2 authored by Jannes Bantje's avatar Jannes Bantje

gave a definition of the localisation algebra

parent 9a63215f
Pipeline #52695 passed with stages
in 46 seconds