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

trans_symm_eq_symm_trans_symm

Mathlib.Logic.Equiv.PartialEquiv

URI: https://scilib.ai/kg/mathlib#PartialEquiv.trans_symm_eq_symm_trans_symm

← MathLib Explorer