Assertion list
open textbook (subgroup of textbook ) → IsA
Results from Ascent++: 1
open textbook → IsA → textbook 0.16