org.scalacheck.Prop
The property was proved
(Since version ) see corresponding Javadoc for more information.
The property was proved