def definition def or abbrev

`MatrixBridgeAccepts`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  27def MatrixBridgeAccepts (B : MatrixBridge) : Prop :=

Definition body.

  28  B.matrix.det ≠ 0
  29

From the project-wide theorem graph. These declarations reference this one in their body.

matrixBridge_accepts_identity in IndisputableMonolith.Relativity.Geometry.MatrixBridge decl_use

Lean names referenced from this declaration's body.

MatrixBridge in IndisputableMonolith.Relativity.Geometry.MatrixBridge decl_use
MatrixBridge in IndisputableMonolith.YM.Kernel decl_use