Def∇: An Inductive∇ Macro

1 points | by ibobev 39 minutes ago