{"shas":[["909a6aa819d3224057553d99369e90e9a35c6837","1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","Use the notation ⁻¹ for inverse instead of ring_mult_inverse. We rarely use the latter anyway.","Robbert Krebbers"]],"repo":"robbertkrebbers/math-classes","actor":"robbertkrebbers","ref":"refs/heads/master","size":1,"head":"909a6aa819d3224057553d99369e90e9a35c6837","actor_gravatar":"2632e0589ff896983e32cbc7c7b5f702","push_id":24977796}