Theorem Nat.galoisConnection_mul_div

Modification history