Allow hidden proof RHS lookups without forcing naive rules#931
Closed
saulshanabrook wants to merge 1 commit into
Closed
Allow hidden proof RHS lookups without forcing naive rules#931saulshanabrook wants to merge 1 commit into
saulshanabrook wants to merge 1 commit into
