refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings (#17930)
Ideal.IsTwoSided