Theorem StrictAnti.range_inj

Modification history