Def is_absolute_value.abv_hom
Modification history
2022-08-31 14:18
src/algebra/order/absolute_value.lean
chore(algebra/order/absolute_value): superficial tidying (#16190) …
Modified is_absolute_value.abv_homView on Github →2022-01-25 13:19
src/algebra/order/absolute_value.lean
feat(algebra/group/hom): Notation for `monoid_with_zero_hom` (#11632) …
Modified is_absolute_value.abv_homView on Github →