Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-17 08:59 218fe1f4

View on Github →

feat(category_theory/opposites): opposites of full and faithful functors (#504)

Estimated changes