module Plurimath

Constants

VERSION