Skip to content
Failed

Changes

Summary

  1. fixed proof
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff)