Open artimath opened 3 weeks ago
Type instantiation is excessively deep and possibly infinite.
Please provide other information which led to this error, and any specific questions you have about it:
Error Text
Type instantiation is excessively deep and possibly infinite.
Supporting Information
Please provide other information which led to this error, and any specific questions you have about it: