This repository has been archived by the owner on Dec 6, 2024. It is now read-only.

When viewing space/property trait, check if it is removable #73

Open

StevenClontz opened this issue Oct 19, 2020 · 0 comments

Member

StevenClontz commented Oct 19, 2020

If a trait is removable, then show how it could be removed.

StevenClontz mentioned this issue

Remove redundant traits (unless they have valuable proofs/references) pi-base/data#62

Closed

StevenClontz mentioned this issue

Theorem: distinct points + T2 implies not hyperconnected pi-base/data#103

Merged

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.