Mathlib v3 is deprecated. Go to Mathlib v4

Def side.other

Modification history

2019-06-08 23:11
src/tactic/rewrite_all/basic.lean
feat(tactic/rewrite_all): tactic to perform the nth occurrence of a rewrite (#999) …
Added side.otherView on Github →