mathlib3
533cbf45 - feat(data/int/{cast, char_zero}): relax typeclass assumptions (#14413)

Commit

3 years ago

feat(data/int/{cast, char_zero}): relax typeclass assumptions (#14413)

Author

astrainfinita

astrainfinita

Parents

Loading