Theorem MulRingSeminorm.apply_one

Modification history