Data renement by enrichment of algebraic structure (0)

by Y Kinoshita, A J Power