Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pretrivialization.mk_proj_snd'

Modification history