Theorem RingSeminorm.apply_one

Modification history