WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Triangle

Revision #2906 → #3456 · back to history

modifiedBarycentric coordinates719774c14add
FieldFrom #2906To #3456
mathlib.moduleMathlib.LinearAlgebra.AffineSpace.Basis.DefsMathlib.LinearAlgebra.AffineSpace.Basis
modifiedCentroid of a triangle9273afe54735
FieldFrom #2906To #3456
mathlib.moduleMathlib.LinearAlgebra.AffineSpace.CombinationMathlib.LinearAlgebra.AffineSpace.Centroid
addedInterior angle of a triangle2a732154a890
addedLine segmentf082b0ce553a
addedCollinearityc16264430bc8