Theorem Basis.basis_singleton_iff

Modification history