Theorem FractionalIdeal.isFractional_of_le

Modification history