Mathlib v3 is deprecated. Go to Mathlib v4

Def sign_type.cast_hom

Modification history

2022-04-11 18:49

src/data/sign.lean

feat(data/sign): the sign function (#12835)

Added sign_type.cast_hom View on Github →