mathlib3
a106102a - chore(category_theory/iso): golf and name consistency (#5096)

Commit

5 years ago

chore(category_theory/iso): golf and name consistency (#5096) Minor changes: makes the names consistent and simplifies proofs

Author

b-mehta

Parents