Theorem Basis.ext_elem_iff

Modification history