Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Complex_Geometry
Circlines.thy
Find file
Blame
History
Permalink
a massive simplification, thanks to sledgehammer, etc.
· ad3482c6e1ad
Lawrence Paulson
authored
Feb 19, 2021
ad3482c6e1ad