Generalize index types - SemanticDiff

Commit

3 years ago

Generalize index types

References

ecstatic/cauchy-seq-covariant

#12261 - feat(topology/uniform_space/cauchy): `cauchy_seq` index shift

Author

ecstatic-morse

ecstatic-morse

Parents

Loading