Theorem Hollom.SpinalMap.le_apply_of_le

Modification history