I created a theory
Measurement.thy dedicated to measurements and in particular all the stuff related to
All the other theories have been updated accordingly and my master branch is up-to-date.
With this reorganization the library is a bit more modular.
@Hanna Lachnitt @Yijun He
Last updated: Feb 04 2023 at 01:27 UTC