Skip to content

structure A; abbrev B := A; structure C extends B fails #137

structure A; abbrev B := A; structure C extends B fails

structure A; abbrev B := A; structure C extends B fails #137