Documentation

Mathlib.Lean.GoalsLocation

This file defines some functions for dealing with SubExpr.GoalsLocation.