diff --git a/lens/compound/inverse-function-lens.rkt b/lens/compound/inverse-function-lens.rkt
deleted file mode 100644
index 028ece1..0000000
--- a/lens/compound/inverse-function-lens.rkt
+++ /dev/null
@@ -1,11 +0,0 @@
-#lang racket/base
-
-(require "../base/main.rkt")
-
-(provide inverse-function-lens)
-
-
-(define (inverse-function-lens f f-inv)
-  (make-lens
-   (λ (tgt) (f tgt))
-   (λ (tgt v) (f-inv v))))
diff --git a/lens/compound/join-string.rkt b/lens/compound/join-string.rkt
index 2081ff3..fa6b4ab 100644
--- a/lens/compound/join-string.rkt
+++ b/lens/compound/join-string.rkt
@@ -4,7 +4,7 @@
          "../base/main.rkt"
          "../util/immutable.rkt"
          "compose.rkt"
-         "inverse-function-lens.rkt"
+         unstable/lens/isomorphism/base
          "join-list.rkt")
 
 (module+ test
@@ -20,7 +20,7 @@
   (lens-compose list->string-lens (apply lens-join/list lenses)))
 
 (define list->string-lens
-  (inverse-function-lens list->immutable-string string->list))
+  (isomorphism-lens list->immutable-string string->list))
 
 (module+ test
   (define string-first-third-fifth-lens
diff --git a/lens/compound/join-vector.rkt b/lens/compound/join-vector.rkt
index 01bf200..f2eb3d7 100644
--- a/lens/compound/join-vector.rkt
+++ b/lens/compound/join-vector.rkt
@@ -4,7 +4,7 @@
          "../base/main.rkt"
          "../util/immutable.rkt"
          "compose.rkt"
-         "inverse-function-lens.rkt"
+         unstable/lens/isomorphism/base
          "join-list.rkt")
 
 (module+ test
@@ -20,7 +20,7 @@
   (lens-compose list->vector-lens (apply lens-join/list lenses)))
 
 (define list->vector-lens
-  (inverse-function-lens list->immutable-vector vector->list))
+  (isomorphism-lens list->immutable-vector vector->list))
 
 (module+ test
   (define vector-first-third-fifth-lens