Theorem IsMinOn.bicomp_mono

Modification history