Mathlib v3 is deprecated. Go to Mathlib v4

Inductive P

Modification history

2019-10-01 18:48
test/delta_instance.lean
feat(tactic/delta_instance): handle parameters and use in library (#1483) …
Added PView on Github →