Theorem TwoSidedIdeal.matricesOver_monotone

Modification history