mathlib3
refactor(category_theory/opposites): Make `opposite` irreducible
#627
Merged
Overview
Commits
1
Changes
View On GitHub

refactor(category_theory/opposites): Make `opposite` irreducible #627

johoelzl merged 1 commit into leanprover-community:master from leanprover-fork:irreducible-opposites-2
rwbarton
rwbarton refactor(category_theory/opposites): Make `opposite` irreducible
a5cb6b6a
johoelzl johoelzl merged 042c290d into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum