Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Complex_Geometry
More_Set.thy
Find file
Blame
History
Permalink
tidied up messy proofs
· de7a40fb511d
Lawrence Paulson
authored
Mar 01, 2021
de7a40fb511d