Theorem SemilinearMapClass.bound_of_continuous

Modification history