Theorem Basis.repr_self_apply

Modification history