∫ Утверждение Mathlib

reverse_eq_inv

Mathlib.CategoryTheory.Groupoid

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Groupoid.reverse_eq_inv

← MathLib Explorer