Mathlib v3 is deprecated. Go to Mathlib v4

Structure X

Modification history

2020-05-29 16:24
test/protec_proj.lean
feat(tactic/protect_proj): protect_proj attribute for structures (#2855) …
Added XView on Github →