Theorem Basis.extend_apply_self

Modification history