Diffusion Isabelle fbde7d1211fc

euclidean division on gaussian numbers
fbde7d1211fc
Actions

Tags

None

Subscribers

None

Description

euclidean division on gaussian numbers

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE63bcec915790: tuned proof

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEfbde7d1211fc: euclidean division on gaussian numbers.Oct 6 2022, 4:16 PM

Changes (2)

Path

Size

src/

HOL/

Examples/

Gauss_Numbers.thy

Library/

Rounded_Division.thy

rISABELLEfbde7d1211fc

src/HOL/Examples/Gauss_Numbers.thy

Loading...

src/HOL/Library/Rounded_Division.thy

Loading...