Skip to content

Wellfounded/Inclusion.v add lemma for when the inclusion is partial#238

Open
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:wf-partial-incl
Open

Wellfounded/Inclusion.v add lemma for when the inclusion is partial#238
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:wf-partial-incl

Wellfounded/Inclusion.v add lemma for when the inclusion is partial

8843bce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.