vlj (May 19 2020 at 16:36): vlj (May 19 2020 at 16:36):I created a pr https://github.com/math-comp/analysis/pull/206
vlj (Jun 24 2020 at 17:55):Can I move my message to a specific topic ?
vlj (Jun 24 2020 at 17:55):For bookeeping
Cyril Cohen (Jun 24 2020 at 21:14):Done, and sorry I forgot to answer
vlj (Jun 27 2020 at 14:23):No problem
vlj (Sep 12 2020 at 21:50):I updated the PR, it has top/bottom/sub/complement
vlj (Oct 02 2020 at 19:27):oops I didn't see the extra proper_neqAsubset
vlj (Oct 04 2020 at 10:49):I added the lemma proper_neqAsubset.
vlj (Oct 14 2020 at 18:07):Is there a other improvement I can do for the pr ?
vlj (Nov 07 2020 at 20:43):thanks for the review!
Last updated: Feb 09 2023 at 03:06 UTC