return to top
source
Transfer a star_ring instance through a quotient, if the quotient is invariant to star
star