Theorem Pi.star_def

Modification history