Theorem minimalFor_id

Modification history