Theorem leOnePart_def

Modification history