Theorem Basis.extendLe_apply_self

Modification history