Inductive SlimCheck.TotalFunction

Modification history