Theorem WittVector.IsPoly₂.compLeft

Modification history