Theorem RingCat.of_carrier

Modification history