Theorem FractionalIdeal.coeIdeal_bot

Modification history