Mathlib v3 is deprecated. Go to Mathlib v4

Def sign_type.mul

Modification history

2022-08-08 21:44
src/data/sign.lean
chore(data/sign): simplify definition of multiplication (#15920) …
Deleted sign_type.mulView on Github →
2022-04-11 18:49
src/data/sign.lean
feat(data/sign): the sign function (#12835)
Added sign_type.mulView on Github →