Theorem TwoSidedIdeal.matricesOver_top

Modification history