Skip to content

Fix proof so Coq 8.18 doesn't complain #58

Fix proof so Coq 8.18 doesn't complain

Fix proof so Coq 8.18 doesn't complain #58