swap — Mathlib · SciLib

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

swap

Mathlib.Data.TwoPointing

URI: https://scilib.ai/kg/mathlib#TwoPointing.swap

← MathLib Explorer