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