fix(lean-imt): After a sequence of updates a proof is invalid. #180
cedoorAnnotations
1 warning
|
style:
packages/utils/src/f1-field.ts#L129
Expected 'this' to be used by class method 'eq'
|