From c9491d4fca0e820bd2a4138b78346cbc7d6ac333 Mon Sep 17 00:00:00 2001 From: Marcus Zibrowius Date: Wed, 4 Sep 2024 11:36:42 +0200 Subject: [PATCH] (small correction) --- development-status.md | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/development-status.md b/development-status.md index 717c3d6..3d03e0f 100644 --- a/development-status.md +++ b/development-status.md @@ -412,14 +412,6 @@ Injective range Injective -#### Inj 04: how to use Equiv -**Equiv** - -#### Inj 05: how to construct Equiv -**Equiv** - -RightInverse - #### Inj 04: StrictMono → injective – proof **StrictMono** @@ -450,7 +442,7 @@ HasLeftInverse LeftInverse congr_arg -#### Inj 10 +#### Inj 10: left inverse of injective is right inverse LeftInverse RightInverse Injective