Vizabell

Derivation DAG

Proof Overview of Ordinal_Arithmetic.thy:1235

15 formulas · 14 derivations

proof c_0_0 c_0_3 c_0_0->c_0_3 c_0_1 c_0_4 c_0_1->c_0_4 c_0_2 c_0_6 c_0_2->c_0_6 c_0_5 c_0_3->c_0_5 c_0_7 c_0_4->c_0_7 c_0_8 c_0_5->c_0_8 c_0_9 c_0_6->c_0_9 c_0_10 c_0_7->c_0_10 c_0_11 c_0_8->c_0_11 c_0_12 c_0_9->c_0_12 c_0_13 c_0_10->c_0_13 c_0_14 c_0_11->c_0_14 c_0_12->c_0_14 c_0_13->c_0_14
100%