Mathlib v3 is deprecated. Go to Mathlib v4

Inductive test.is_true

Modification history

2018-05-04 16:10

tests/mk_iff_of_inductive.lean

feat(tactic/mk_iff_of_inductive_prop): add tactic to represent inductives using logical connectives

Added test.is_true View on Github →