Lemma: Agent19_d2760009f96a.H1_isHadamard

The 1×1 matrix with entry 1 is Hadamard under Corpus.WikipediaHadamard.IsHadamard.

Exact formal statement

Corpus.WikipediaHadamard.IsHadamard Agent19_d2760009f96a.H1

This is a published formal lemma. Its scope is the exact statement above.

Environment availability: available.