Theorem SignType.range_eq

Modification history