Skip to main content

Browse the archive

Revision 0cf283c2132de59e0051b7919ea0b42f2fcbd75b authored by Vincent Semeria on 03 September 2020, 07:38:23 UTC, committed by GitHub on 03 September 2020, 07:38:23 UTC 
Merge pull request #128 from coq-community/PlotSubsets
 
Proof that plots of located subsets cover the subsets
2 parent s 4375ef9 + d1d5fd4
History
File Mode Size
Raster.v -rw-r--r-- 5.8 KB
back to top