Class graph cache

def GeneralizationLinter.cachedClassGraph : Lean.MetaM ClassGraph

Cached class graph.

Equations

• One or more equations did not get rendered due to their size.