mathlib3

b226b4b6 - feat(*): `has_repr` instances for `option`-like types (#11282)

feat(*): `has_repr` instances for `option`-like types (#11282) This provides the `has_repr` instance for `with_bot α`, `with_top α`, `with_zero α`, `with_one α`, `alexandroff α`.