final tweaks mostly involving pcompose_eq_0 / pcompose_eq_0_iff
Showing
- thys/Cubic_Quartic_Equations/Cardanos_Formula.thy 3 additions, 3 deletionsthys/Cubic_Quartic_Equations/Cardanos_Formula.thy
- thys/Three_Circles/Bernstein.thy 2 additions, 5 deletionsthys/Three_Circles/Bernstein.thy
- thys/Three_Circles/Bernstein_01.thy 10 additions, 10 deletionsthys/Three_Circles/Bernstein_01.thy
- thys/Three_Circles/Three_Circles.thy 10 additions, 11 deletionsthys/Three_Circles/Three_Circles.thy
Loading
Please register or sign in to comment