Inductive SlimCheck.InjectiveFunction

Modification history