Skip to content

Clearer statement for propositional extensionality

Paolo G. Giarrusso requested to merge Blaisorblade/iris:prop_ext_clearer into master

Merge request reports