Module `Relude_Float.Subtractive`

include BsBastet.Float.Subtractive;

module Magma = Float-BsBastet.Subtractive.Magma;

module Medial_Magma = Float-BsBastet.Subtractive.Medial_Magma;

module Quasigroup = Float-BsBastet.Subtractive.Quasigroup;

module Medial_Quasigroup = Float-BsBastet.Subtractive.Medial_Quasigroup;