Theorem IsMinOn.isExtr

Modification history