0.2.1
Peter Varo's avatar
Peter Varo
@petervaro
da7e1436 · another property invariant fixed, and corresponding tests added · Nov 29, 2017
Invariant implementation introduced