-
Ralf Jung authored
introduce "CMRAExt", and extension property on CMRAs. We will need it to show that later commutes with star. For now, just assume it holds.
cfa1ef3b
introduce "CMRAExt", and extension property on CMRAs. We will need it to show that later commutes with star. For now, just assume it holds.