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

Diff — Angle

Revision #1685 → #2518 · back to history

modifiedAcute angle9b83b08f908e
FieldFrom #1685To #2518
mathlib.declEuclideanGeometry.Simplex.AcuteAngledAffine.Simplex.AcuteAngled
provenanceaiai-moderated