_aux_Mathlib_Geometry_Euclidean_Angle_Oriented_Affine___macroRules_EuclideanGeometry_term∡_1

Mathlib.Geometry.Euclidean.Angle.Oriented.Affine

URI: https://scilib.ai/kg/mathlib#EuclideanGeometry._aux_Mathlib_Geometry_Euclidean_Angle_Oriented_Affine___macroRules_EuclideanGeometry_term∡_1

← MathLib Explorer

Lean4

@[scoped macro EuclideanGeometry.«term∡»]
public meta def «_aux_Mathlib_Geometry_Euclidean_Angle_Oriented_Affine___macroRules_EuclideanGeometry_term∡_1» :
    Macro✝ := fun
  | `(∡) => ``(EuclideanGeometry.oangle)
  | _ => no_error_if_unused% throw✝ Lean.Macro.Exception.unsupportedSyntax✝

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru