public void AddTheoremType(ITheoremProvider provider)
{
if (provider == null)
{
throw new ArgumentNullException("provider");
}
_theorems.Add(provider);
}
public bool TryLookupTheoremType(MathIdentifier theoremTypeId, out ITheoremProvider provider)
{
return(_theorems.TryGetValue(theoremTypeId, out provider));
}
