Commit 0d19de60 authored by bBoesl's avatar bBoesl

began hallway

parent d3ddc072
namespace http://BenniDoes.Stuff/ ❚
// A B C ❚
// x----------x--------x-- ❚
// | . ❚
// | . ❚
// | . ❚
// | E . ❚
// x D x------------❚
// | . | ❚
// | . | ❚
// | . | ❚
// | . | ❚
// x F | ❚
theory ProblemTheory : http://BenniDoes.Stuff/?BenniDoesStuff =
A: V ❙
B: V ❙
C: V ❙
D: V ❙
E: V ❙
F: V ❙
distance_E_D_value : ℝ ❙
distance_E_D: ⊦ ( d E D) ≐ distance_E_D_value ❙
distance_E_B_value : ℝ ❙
distance_E_B: ⊦ ( d E B) ≐ distance_E_B_value ❙
distance_A_B_value : ℝ ❙
distance_A_B: ⊦ ( d A B) ≐ distance_A_B_value ❙
distance_A_D_value : ℝ ❙
distance_A_D: ⊦ ( d A D) ≐ distance_A_D_value ❙
distance_A_D_value : ℝ ❙
distance_A_D: ⊦ ( d A D) ≐ distance_A_D_value ❙
distance_E_F_value : ℝ ❙
distance_E_F: ⊦ ( d E F) ≐ distance_E_F_value ❙
distance_E_C_value : ℝ ❙
distance_E_F: ⊦ ( d E C) ≐ distance_E_C_value ❙
RightAngleProof: ⊦ ✓ ( ≺ B A D ) ❙
SamelengthProof_1: ⊦ distance A_D_value ≐ distance_A_B_value ❙
SamelengthProof_2: ⊦ distance E_D_value ≐ distance_E_B_value ❙
SamelengthProof_3: ⊦ distance E_D_value ≐ distance_A_B_value ❙
SamelengthProof_4: ⊦ distance A_D_value ≐ distance_E_B_value ❙
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment