Library Pip.Proof.invariants.CountToMap


Summary

This file contains the invariant of countToMap. We prove that this PIP service preserves the isolation property
TODO : To be proved