Skip to main content

Browse the archive

Revision 22578b42562b3e13c4f7791fe51ef4d30d076eed authored by Pierre-Yves Strub on 06 May 2016, 07:38:09 UTC, committed by Pierre-Yves Strub on 06 May 2016, 07:38:09 UTC 
`argmin` operator
 
`argmin p` returns the smaller natural `i` s.t. `p i` or 0 if not such
witness exists.
1 parent fa61550
History
File Mode Size
emacs-based
.gitignore -rw-r--r-- 75 bytes
back to top