Quotient topology#786

Merged

zstone1 merged 11 commits intomath-comp:masterfrom

zstone1:quotient_topo

Feb 6, 2023

Commits on Feb 6, 2023

quotient topology
zstone1
committed
docs
zstone1
committed
trying to fix build
zstone1
committed
cleaning up proof
zstone1
committed
more general quotients
zstone1
committed
docs
zstone1
committed
trying to fix build
zstone1
committed
nitpicks

affeldt-aist
authored and
zstone1
committed
quotType alias

affeldt-aist
authored and
zstone1
committed
fix changelog

affeldt-aist
authored and
zstone1
committed
fixing changelog again
zstone1
committed