agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

Added a new ≤-Induction

Open guilhermehas opened this issue 2 years ago • 0 comments

I defined my ≤-Induction without needing to create a new inequality for that.

guilhermehas avatar Aug 07 '22 23:08 guilhermehas