Theorem LieRing.of_associative_ring_bracket

Modification history