Documentation

LeanPool.ABCExceptions.ForMathlib.RingTheory

Ring theory support for ABC exceptions #

Import-only index for ring-theoretic support files used by the ABC exceptions development.