Skip to content

Fix a typo in constructions.tex

Dan Frumin requested to merge dfrumin/iris-coq:patch-1 into master

x_1 should be a_1

Merge request reports