Skip to main content

Browse the archive

Revision 7c6d40ea2b9efc73c27f787d4a9b6781f67c5308 authored by Pierre-Yves Strub on 28 April 2018, 15:09:18 UTC, committed by Pierre-Yves Strub on 29 April 2018, 09:34:36 UTC 
characterization lemmas for <=> and \proper
 
[closes #17377]
1 parent aa75b1d
History
File Mode Size
XDG.ml -rw-r--r-- 5.0 KB
XDG.mli -rw-r--r-- 1.7 KB
back to top