Mathlib v3 is deprecated. Go to Mathlib v4

Structure foo4

Modification history

2020-10-26 18:39

test/derive_fintype.lean

fix(tactic/derive_fintype): add support for props (#4777) …

Added foo4 View on Github →