Paul Wintz
Der Beitragende Paul Wintz ist als Mitglied pwintz der CTAN-Gemeinschaft vertreten.
Defines a starred proof environment that hides proofs in draft mode.
Der Beitragende Paul Wintz ist als Mitglied pwintz der CTAN-Gemeinschaft vertreten.