Stream: math-comp analysis

Topic: math-comp/analysis#206


view this post on Zulip vlj (May 19 2020 at 16:36):

I created a pr https://github.com/math-comp/analysis/pull/206

view this post on Zulip vlj (Jun 24 2020 at 17:55):

Can I move my message to a specific topic ?

view this post on Zulip vlj (Jun 24 2020 at 17:55):

For bookeeping

view this post on Zulip Cyril Cohen (Jun 24 2020 at 21:14):

Done, and sorry I forgot to answer

view this post on Zulip vlj (Jun 27 2020 at 14:23):

No problem

view this post on Zulip vlj (Sep 12 2020 at 21:50):

I updated the PR, it has top/bottom/sub/complement

view this post on Zulip vlj (Oct 02 2020 at 19:27):

oops I didn't see the extra proper_neqAsubset

view this post on Zulip vlj (Oct 04 2020 at 10:49):

I added the lemma proper_neqAsubset.

view this post on Zulip vlj (Oct 14 2020 at 18:07):

Is there a other improvement I can do for the pr ?

view this post on Zulip vlj (Nov 07 2020 at 20:43):

thanks for the review!


Last updated: Aug 11 2022 at 03:02 UTC