Theorem LocalSubring.isMax_iff

Modification history