Theorem isSquare_unop_iff

Modification history