Diffusion afp-devel 76eb5ab42012

arg -> Arg
76eb5ab42012
Actions

Tags

None

Subscribers

None

Description

arg -> Arg

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP29da90822fc7: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP76eb5ab42012: arg -> Arg.Jul 2 2021, 9:54 PM

Changes (15)

Path

Size

thys/

Complex_Geometry/

Elementary_Complex_Geometry.thy

More_Complex.thy

Oriented_Circlines.thy

Unit_Circle_Preserving_Moebius.thy

Unitary11_Matrices.thy

Lambda_Free_KBOs/

Lambda_Free_TKBO_Coefs.thy

Lambda_Free_RPOs/

Lambda_Free_Util.thy

Perron_Frobenius/

Perron_Frobenius_Irreducible.thy

Roots_Unity.thy

Poincare_Disc/

Poincare_Between.thy

Poincare_Tarski.thy

Stirling_Formula/

Gamma_Asymptotics.thy

rAFP76eb5ab42012

thys/Complex_Geometry/Angles.thy

Loading...

thys/Complex_Geometry/Circlines.thy

Loading...

thys/Complex_Geometry/Elementary_Complex_Geometry.thy

Loading...

thys/Complex_Geometry/Moebius.thy

Loading...

thys/Complex_Geometry/More_Complex.thy

Loading...

thys/Complex_Geometry/Oriented_Circlines.thy

Loading...

thys/Complex_Geometry/Unit_Circle_Preserving_Moebius.thy

Loading...

thys/Complex_Geometry/Unitary11_Matrices.thy

Loading...

thys/Lambda_Free_KBOs/Lambda_Free_TKBO_Coefs.thy

Loading...

thys/Lambda_Free_RPOs/Lambda_Free_Util.thy

Loading...

thys/Perron_Frobenius/Perron_Frobenius_Irreducible.thy

Loading...

thys/Perron_Frobenius/Roots_Unity.thy

Loading...

thys/Poincare_Disc/Poincare_Between.thy

Loading...

thys/Poincare_Disc/Poincare_Tarski.thy

Loading...

thys/Stirling_Formula/Gamma_Asymptotics.thy

Loading...