involutive-semigroups-0.1.0.0: Semigroups with involution.

Index

InvolutiveData.Semigroup.Involutive
revData.Semigroup.Involutive