Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.itauto.and_kind.sides

Modification history

2021-04-10 00:01
src/tactic/itauto.lean
feat(tactic/itauto): Complete intuitionistic prover (#7057) …
Added tactic.itauto.and_kind.sidesView on Github →