Theorem Bimon_.compatibility

Modification history