Daniel

Reading this [issue](https://github.com/tsoding/haskell-json/issues/16), I added to the jsonObject parser the functionality to fail in case of repeated keys in the map.

There are some report plugins being created, but since the aggregation is hardcoded to use HTML, we cannot use them as of now in aggregation.

## Expected Behavior I expect to be able to do REST calls using the api with the docs provided. ## Actual Behavior I am getting responses with "Your request entity...

Ring ideals

1

I am adding some results on rings: - [x] Ring ideal definition - [x] Product and sum of ideals - [x] Prime ideal definition - [x] Maximal ideal definition -...

Problems because of notation

9

@SKolodynski I tried to create a subgroup locale and show ```isabelle group0 H "restrict(P,H\H)" ``` but it would not work as `groper` is defined without limitation on the elements you...

Topological group uniformities. Roelcke uniformity.

2

Proof that the **Roelcke uniformity** is a uniformity, defined in [here](https://arxiv.org/pdf/math/0004119.pdf) for example. - [x] Define a the Roelcke uniformity - [x] Add a proof that it is indeed a...

Rewrite topological group proofs

9

Since topgroup => group0 now and there is a locale for group operations on sets, we should make use of it to avoid proving things more than once.

We need a theory of uniformly continuous mappings to really manage the structure of uniformities: - During the rest of the steps, prove some useful lemmas about (fxg):AxC->BxD the product...