You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
How is this different/better than HO_MATCH_MP_TAC
relationTheory.RTC_ALT_RIGHT_INDUCT? Is there some kind of
normalization/search for an expression in the goal with RTC as its operator?
should work.
The text was updated successfully, but these errors were encountered: