Mathlib v3 is deprecated. Go to Mathlib v4

Theorem k

Modification history

2022-01-28 13:31
test/squeeze.lean
fix(tactic/squeeze): `squeeze_simp` providing invalid suggestions (#11696) …
Added kView on Github →