Theorem FractionalIdeal.equivNum_apply

Modification history