Commit 2020-11-27 09:16 a106102a
View on Github →chore(category_theory/iso): golf and name consistency (#5096) Minor changes: makes the names consistent and simplifies proofs
chore(category_theory/iso): golf and name consistency (#5096) Minor changes: makes the names consistent and simplifies proofs