Theorem prevD_eq_toPrev_dTo

Modification history