Skip to content

Fix restrict_universe_context#7495

Merged
mattam82 merged 2 commits into
rocq-prover:masterfrom
SkySkimmer:fix-restrict
Jun 5, 2018
Merged

Fix restrict_universe_context#7495
mattam82 merged 2 commits into
rocq-prover:masterfrom
SkySkimmer:fix-restrict

Commits

Commits on May 30, 2018