mathlib
ebd3351b - chore(category_theory/conj): add a new simp lemma (#3922)

Commit

5 years ago

chore(category_theory/conj): add a new simp lemma (#3922) Mark a new simp lemma which I think is helpful and simplify some proofs using it.

References

Author

b-mehta

Parents