Theorem Fin.val_strictMono

Modification history