Theorem Seminorm.isBounded_const

Modification history