Commit 4acafade authored by Nikita Zyuzin's avatar Nikita Zyuzin

Add missing period.

parent 80518221
......@@ -722,7 +722,7 @@ Proof.
repeat split.
+ reflexivity.
+ apply contained_flover_map_extension.
admit
admit.
+ unfold fromIntv, toIntv.
simpl.
rewrite Qeq_bool_refl.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment