avoid fact name clash
f50360e11df7
Actions

Description

avoid fact name clash

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

thys/

Finite_Fields/

Padic_Ints/

rAFPf50360e11df7

thys/Finite_Fields/Card_Irreducible_Polynomials_Aux.thy

thys/Finite_Fields/Finite_Fields_Isomorphic.thy

thys/Finite_Fields/Finite_Fields_Preliminary_Results.thy

thys/Finite_Fields/Ring_Characteristic.thy

thys/Padic_Ints/Cring_Poly.thy

avoid fact name clashf50360e11df7Actions

Description

Details

Changes (5)

rAFPf50360e11df7

thys/Finite_Fields/Card_Irreducible_Polynomials_Aux.thy

thys/Finite_Fields/Finite_Fields_Isomorphic.thy

thys/Finite_Fields/Finite_Fields_Preliminary_Results.thy

thys/Finite_Fields/Ring_Characteristic.thy

thys/Padic_Ints/Cring_Poly.thy

avoid fact name clash
f50360e11df7
Actions