cleanup leftover debug help

Signed-off-by: Ali Caglayan <alizter@gmail.com>
HoTT · Jan 28, 2025 · cf4359f · cf4359f
1 parent 7aa3b08
commit cf4359f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/theories/Homotopy/Cofiber.v b/theories/Homotopy/Cofiber.v
@@ -133,10 +133,8 @@ Definition isconnected_fiber_to_cofiber `{Univalence}
   (f : X -> Y) {fc : IsConnMap m.+1 f} (y : Y)
   : IsConnMap (m +2+ n) (fiber_to_path_cofiber f y).
 Proof.
-  Arguments IsConnMap : clear implicits.
   snrapply conn_map_fiber.
   rapply (cancelR_conn_map _ (equiv_fibration_replacement _)).
-
   snrapply cancelL_equiv_conn_map.
   - exact (Pullback (pushl (f:=const_tt X) (g:=f)) pushr).
   - unfold Pullback.