Skip to content

feat: keep haves above a split match in equation lemmas - #16235

Queued
leodemoura wants to merge 19 commits into
masterfrom
eqns-keep-have-match
Queued

feat: keep haves above a split match in equation lemmas#16235
leodemoura wants to merge 19 commits into
masterfrom
eqns-keep-have-match

fix: compute equation statements with private declarations visible

93b8f4d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar