<dependency>
<groupId>io.github.mercurievv.minuscles</groupId>
<artifactId>tuples_plens_3</artifactId>
<version>0.1.2</version>
</dependency>
@Grapes(
@Grab(group='io.github.mercurievv.minuscles', module='tuples_plens_3', version='0.1.2')
)