Diffusion Isabelle 3310317cc484

clarified generic euclidean relation
3310317cc484
Actions

Tags

None

Subscribers

None

Description

clarified generic euclidean relation

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE6a20d0ebd5b3: added a bound in SMT on the number of schematic constants considered -- the…

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE3310317cc484: clarified generic euclidean relation.Sep 5 2022, 4:39 PM

Changes (3)

Path

Size

src/

HOL/

Code_Numeral.thy

Euclidean_Division.thy

rISABELLE3310317cc484

src/HOL/Code_Numeral.thy

Loading...

src/HOL/Divides.thy

Loading...

src/HOL/Euclidean_Division.thy

Loading...