transfiniteCompositionsOfShape_le

English

The equation linking transfinite compositions of shape Fin 2 under isomorphism is preserved similarly to Fin 1.

Русский

Сохранение отношения трансфинитных композиций формы Fin 2 при изоморфизма сохраняется аналогично Fin 1.

LaTeX

$$Взаимозаменяемость форм Fin 2 под OrderIso$$

Lean4

theorem transfiniteCompositionsOfShape_le [W.IsStableUnderTransfiniteCompositionOfShape J] :
    W.transfiniteCompositionsOfShape J ≤ W :=
  IsStableUnderTransfiniteCompositionOfShape.le

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