Theorem IsSquare.one

Modification history