Stream: Lie

Topic: Hypersurface.thy


view this post on Zulip Michael R Douglas (Nov 22 2019 at 14:47):

I made an initial pass at defining hypersurfaces - it is far from compiling but it should give the basic idea.

view this post on Zulip Michael R Douglas (Nov 22 2019 at 14:48):

It is in a new branch "dev".

view this post on Zulip Anthony Bordg (Nov 28 2019 at 17:00):

I will have a look at the theory tomorrow.

view this post on Zulip Anthony Bordg (Nov 29 2019 at 06:29):

A detail: Shouldn't the typedef surface be called hypersphere?


Last updated: Apr 24 2024 at 04:17 UTC