Theorem TwoSidedIdeal.matricesOver_strictMono_of_nonempty

Modification history