Skip to main content

Browse the archive

Revision b08103598cc92f1e561bd6970599ab1b031fa370 authored by François Dupressoir on 17 January 2020, 11:01:47 UTC, committed by François Dupressoir on 17 January 2020, 11:01:47 UTC 
Masking the default dletE lemma more meaningful
 
This is a quick and dirty attempt and requires iteration.
1 parent 9e11412
History
File Mode Size
runtest -rwxr-xr-x 11.9 KB
back to top